type-aligned queue